Arithmetic overflow - PDFSEARCH.IO - Document Search Engine

Arithmetic overflow
Results: 22

#	Item
11	Annotation Generation Frama-C’s annotation generator plug-in for Frama-C Sodium[removed] Add to Reading List Source URL: frama-c.com Language: English - Date: 2015-03-17 11:33:41 Data types Computer arithmetic C programming language Primitive types Software bugs Frama-C Integer overflow C Undefined behavior Computing Software engineering Computer programming
12	Programmers’ and Code Inspectors’ Checklist: Is every array index and pointer arithmetic operation… Okay given the preconditions and data assumptions? Add to Reading List Source URL: nsfsecurity.pr.erau.edu Language: English - Date: 2002-07-06 21:20:11 Computer programming Buffer overflow String C Stack buffer overflow Buffer overflow protection Computing Software bugs Software engineering
13	Programmer’s Points to Remember: Always do bounds checking on arrays. Always do bounds checking on pointer arithmetic. Add to Reading List Source URL: nsfsecurity.pr.erau.edu Language: English - Date: 2002-07-06 21:20:26 Computer programming Arrays Data types Primitive types Computer errors Buffer overflow Scanf format string Circular buffer C Computing Software engineering Software bugs
14	Programmer’s Points to Remember: ü Always do bounds checking on arrays. ü Always do bounds checking on pointer arithmetic. ü Before you copy to, format, or send input to a buffer make sure it is big enough to hold w Add to Reading List Source URL: nsfsecurity.pr.erau.edu Language: English - Date: 2002-07-06 21:20:36 Software engineering Arrays Computer errors Buffer overflow C Standard Library Scanf format string Ü C Bounds checking Computing Software bugs Computer programming
15	Annotation Generation Frama-C’s annotation generator plug-in for Frama-C Sodium[removed] Add to Reading List Source URL: frama-c.com Language: English - Date: 2015-03-17 11:33:41 Data types Computer arithmetic C programming language Primitive types Software bugs Frama-C Integer overflow C Undefined behavior Computing Software engineering Computer programming
16	Journal of Computer Security–1107 DOIJCSIOS Press 1083 Add to Reading List Source URL: lenx.100871.net Language: English - Date: 2012-05-09 22:37:04 Computer programming Integer overflow Buffer overflow Heap overflow Vulnerability Fixed-point arithmetic C Type system Infinite loop Software bugs Computing Software engineering
17	Fall[removed]UNIVERSITY OF CALIFORNIA Department of Electrical Engineering and Computer Sciences Add to Reading List Source URL: inst.eecs.berkeley.edu Language: English - Date: 2007-08-24 18:41:19 Computer arithmetic Data types Primitive types Pointer Arbitrary-precision arithmetic Floating point Binary-coded decimal Integer overflow Integer Computing Software engineering Computer programming
18	PAriCheck: An Efficient Pointer Arithmetic Checker for C Programs Yves Younan Pieter Philippaerts Katholieke Universiteit Leuven Katholieke Universiteit Leuven Add to Reading List Source URL: www.fort-knox.org Language: English - Date: 2010-01-09 20:11:10 Software bugs Memory management C++ Computer errors C programming language Pointer Buffer overflow C Dangling pointer Computing Computer programming Software engineering
19	A Proposal for Hardware-Assisted Arithmetic Overflow Detection for Array and Bitfield Operations Darek Mihocka Intel Corp. [removed] Add to Reading List Source URL: www.emulators.com Language: English - Date: 2013-08-18 08:51:41 Arithmetic Arithmetic overflow Overflow flag Integer overflow Bitwise operation Signedness Carry flag Status register SIMD Computer arithmetic Computer architecture Computing
20	A Proposal for Hardware-Assisted Arithmetic Overflow Detection for Array and Bitfield Operations Darek Mihocka Intel Corp. [removed] Add to Reading List Source URL: emulators.com Language: English - Date: 2013-08-18 08:51:41 Arithmetic Arithmetic overflow Overflow flag Integer overflow Bitwise operation Signedness Carry flag Status register SIMD Computer arithmetic Computer architecture Computing